#include "PDTVar.h"
#include "PDTCodeGraph.h"

PDTVar::PDTVar(string & aName, PDTQuantifier * aq, PDTIntRange * aRange):
	name(aName), quantifier(aq), range(aRange), func(NULL) {
}

PDTVar::~PDTVar(){
}
